home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / README < prev    next >
Encoding:
Text File  |  1997-07-02  |  5.4 KB  |  123 lines  |  [TEXT/R*ch]
  1. This is file README for Moscow ML 1.42 for Linux/Unix (July 1997)
  2.  
  3.  
  4. EXTENT OF THE IMPLEMENTATION
  5.  
  6. The current version 1.42 of Moscow ML
  7.     * implements the Core language of Standard ML, as revised 1996
  8.     * implements large parts of the new SML Basis Library
  9.     * implements separate compilation and a limited version of the
  10.       Standard ML Modules language, with signatures and structures
  11.       but no functors
  12.     * can produce compact stand-alone executables (a la Caml Light)
  13.     * supports quotations and antiquotations, useful for metaprogramming
  14.     * includes several new libraries and a new type `char'
  15.  
  16. New in version 1.42 of Moscow ML
  17.  
  18.     * support for writing CGI scripts (thanks to Jonas Barklund)
  19.     * new structures Array2, CommandLine, and Option from the Basis Library
  20.     * automatically includes required libraries when linking an executable
  21.     * provides faster bytecode execution (thanks to Doug Currie)
  22.  
  23.  
  24. SYSTEM REQUIREMENTS
  25.  
  26. Moscow ML was compiled under Linux 2.0.12 with gcc 2.7.2, and requires
  27. 2 MB of RAM or more.  The installation requires 1.6 MB disk space.
  28.  
  29. LIST OF FILES
  30.  
  31. Executables and bytecode files:
  32.     bin/*               Moscow ML top-level system and batch compiler
  33.     lib/*               Bytecode files and standard libraries
  34.     tools/*             Tools to infer unit inter-dependencies
  35.  
  36. Documentation files:
  37.     install.txt         Installation instructions for Linux
  38.     README              This file
  39.     doc/manual.dvi      User manual (DVI format)
  40.     doc/mosmlref.dvi    A compact guide to Moscow ML syntax and primitives
  41.     copyrght/*          Copyright notices (for Caml Light, SML/NJ, ...)
  42.  
  43. AUTHOR AND CREDITS
  44.  
  45. Moscow ML was written by
  46.     Sergei Romanenko (roman@keldysh.ru)
  47.     Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
  48.     Miusskaya Pl. 4, 125047 Moscow, Russia.
  49. and Peter Sestoft (sestoft@dina.kvl.dk),
  50.     Department of Mathematics and Physics, Royal Veterinary and
  51.     Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C, 
  52.     Denmark.  Much of the work was done at the Technical University of
  53.     Denmark, and while visiting AT&T Bell Laboratories, New Jersey, USA.
  54.  
  55. Moscow ML owes much to:
  56.     * the CAML Light implementation by Xavier Leroy and Damien Doligez
  57.       (INRIA, Rocquencourt, France); especially the Caml Light bytecode
  58.       generator and the runtime system;
  59.     * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
  60.       (Copenhagen University, Denmark, and Edinburgh University, Scotland);
  61.     * inspiration from the SML/NJ compiler developed at Princeton
  62.       University and AT&T Bell Laboratories, New Jersey, USA; and
  63.     * the good work by Doug Currie, Flavors Technology, USA, on the
  64.       MacOS port.
  65.  
  66. COPYRIGHT NOTICE FOR MOSCOW ML
  67.  
  68.     Moscow ML - a lightweight implementation of Core Standard ML.
  69.     Copyright (C) 1994, 1995, 1996  Sergei Romanenko, Moscow, Russia
  70.                                     and Peter Sestoft, Copenhagen, Denmark.
  71.  
  72.     This program is free software; you can redistribute it and/or
  73.     modify it under the terms of the GNU General Public License
  74.     as published by the Free Software Foundation; either version 2
  75.     of the License, or (at your option) any later version.
  76.  
  77.     This program is distributed in the hope that it will be useful,
  78.     but WITHOUT ANY WARRANTY; without even the implied warranty of
  79.     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  80.     GNU General Public License in copyrght/gpl2 for more details.
  81.  
  82.     You should have received a copy of the GNU General Public License
  83.     along with this program; if not, write to the Free Software
  84.     Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  85.  
  86. Note that a number of source files are derived from the Caml Light
  87. distribution, copyright (C) 1993 INRIA, Rocquencourt, France.  Thus
  88. charging money for redistributing Moscow ML may require prior
  89. permission from INRIA; see the INRIA copyright notice in file
  90. copyrght/copyrght.cl.  The Caml Light system itself can be obtained
  91. from ftp.inria.fr:lang/caml-light.
  92.  
  93. AVAILABILITY
  94.  
  95.     * The Moscow ML home page is at  
  96.         http://www.dina.kvl.dk/~sestoft/mosml.html
  97.     * The DOS executables (and documentation) are in
  98.         ftp://ftp.dina.kvl.dk/pub/mosml/mos14bin.zip
  99.     * The Linux executables (and documentation) are in
  100.         ftp://ftp.dina.kvl.dk/pub/mosml/linux-mos14bin.tar.gz
  101.     * The Macintosh/MacOS (68k and PPC) executables are in
  102.         ftp://ftp.dina.kvl.dk/pub/mosml/mac-mos14bin.sea.hqx
  103.     * The DOS source files (no documentation) are in
  104.         ftp://ftp.dina.kvl.dk/pub/mosml/mos14src.zip
  105.     * The Unix source files (no documentation) are in
  106.         ftp://ftp.dina.kvl.dk/pub/mosml/mos14src.tar.gz
  107.     * The MacOS modified source files (relative to Unix) are in
  108.         ftp://ftp.dina.kvl.dk/pub/mosml/mac-mos14src.sea.hqx
  109.  
  110. The files are mirrored at 
  111.         ftp://ftp.dcs.ed.ac.uk/pub/ml/Moscow/    
  112.         ftp://ftp.csd.uu.se/pub/mirror/mosml
  113.  
  114. To compile Moscow ML for Unix systems, you will need the source files,
  115. gcc, make, and Perl.  Moscow ML has been rewritten in ML and can
  116. compile itself; hence the installation under Unix has become simpler.
  117.  
  118. To recompile Moscow ML for MS DOS, you will need the source files,
  119. djgpp, perl, and Borland C++ version 2.0 (or later).
  120.     * Djgpp and go32 can be obtained from 
  121.       ftp://oak.oakland.edu/pub/simtelnet/gnu/djgpp/ 
  122.       or ftp://ftp.sunet.se/pub/pc/mirror/simtelnet/gnu/djgpp/
  123.